By the theory TT is meant the higher order predicate logic with the following recursively defined types: 1 is the type of individuals and [] is the type of the truth values: [$\tau_l$,..., $\tau_n$] is the type of the predicates with arguments of the types $\tau_l$,..., $\tau_n$. The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals (...) in ITT is an extension of the membership in TT. The extension consists of allowing any higher order term, in which only variables of type 1 have a free occurrence, to be a term of type 1. This feature of ITT is motivated by a nominalist interpretation of higher order predication. In ITT both well-founded and non-well-founded recursive predicates can be defined as abstraction terms from which all the properties of the predicates can be derived without the use of non-logical axioms. The elementary syntax, semantics, and proof theory for ITT are defined. A semantic consistency proof for ITT is provided and the completeness proof of Takahashi and Prawitz for a version of TT without cut is adapted for ITT: a consequence is the redundancy of cut. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

In this paper, we review recent neuroimaging investigations of disorders of consciousness and different disciplines' understanding of consciousness itself. We consider potential tests of consciousness, their legal significance, and how they map onto broader themes in U.S. statutory law pertaining to advance directives and surrogate decision-making. In the process, we outline a taxonomy of themes to illustrate and clarify the variance in state-law definitions of consciousness. Finally, we discuss broader scientific, ethical, and legal issues associated with the advent of neuroimaging (...) for disorders of consciousness and conclude with policy recommendations that could help to mitigate confusion in this realm. (shrink)

Recent studies indicate that patients who are diagnosed with vegetative states may retain more awareness than their clinical assessments suggest. Disorders of consciousness traditionally have been diagnosed on the basis of outwardly observable behaviors alone, but new functional imaging studies have shown surprising levels of brain activity in some patients, indicating that even higher-level cognitive functions like language processing and visual imagery may be preserved. For example, one recently developed method purports to detect voluntary mental imagery solely on the basis (...) of neural response patterns observed with functional magnetic resonance imaging. This line of research has already led to some widely reported cases of patients who were discovered to have more brain activity than expected. In November 2009, Rom Houben, a Belgian man who was thought to be in a coma for 23 years, was diagnosed with locked-in syndrome through the use of neuroimaging; however, that assessment was later overturned by further testing. (shrink)

In our Introduction to the special issue on Hegel and Sellars, we explain why there needs to be a more detailed analysis of the similarities and differences between Hegel and Sellars. Sellars is usually regarded as closer to Kant than to Hegel, but this obscures the more Hegelian features of his theoretical and practical philosophy. We briefly describe each article in the special issue.

The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom (...) scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences. (shrink)

1. The problem. The concept of confirmation of an hypothesis by empirical evidence is of fundamental importance in the methodology of empirical science. For, first of all, a sentence cannot even be considered as expressing an empirical hypothesis at all unless it is theoretically capable of confirmation or disconfirmation, i.e. unless the kind of evidence can be characterized whose occurrence would confirm, or disconfirm, the sentence in question. And secondly, the acceptance or rejection of a sentence which does represent an (...) empirical hypothesis is determined, in scientific procedure, by the degree to which it is confirmed by relevant evidence. (shrink)

After the demise of Christianity, Western society did not become secular, according to Emile Durkheim, but located foundations in a new religion he calls the “cult of the individual.” This religion holds the rational individual person as sacred, and corresponds to a multi-faceted, complex, and diverse society united around individual democratic rights and modern science. Different traditional religions can co-exist in the cult of the individual, but only if they accept a subordinate status in relation to it. Durkheim maintains, however, (...) that all religions construct authoritative regimes of truth and moral obligations, setting the stage for conflict. How then should modern democracies respond to challenges to their authority from traditional religions? This article argues that a Durkheimian response would be to assert the values of the cult of the individual, as this is the only way to maintain the integrity and viability of Western democratic society. (shrink)

Web-based platforms play an increasingly important role in managing and sharing research data of all types and sizes. This article presents a case study of the data storage, sharing, and management platform Figshare. We argue that such platforms are displacing and reconfiguring the infrastructure of norms, technologies, and institutions that underlies traditional scholarly communication. Using a theoretical framework that combines infrastructure studies with platform studies, we show that Figshare leverages the platform logic of core and complementary components to re-integrate a (...) presently splintered scholarly infrastructure. By means of this logic, platforms may provide the path to bring data inside a scholarly communication system still optimized mainly for text publications. Yet the platform strategy also risks turning over critical scientific functions to private firms whose longevity, openness, and corporate goals remain uncertain. It may amplify the existing trend of splintering infrastructures, with attendant effects on equity of service. (shrink)

The selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents argue that this (...) analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

In _Selected Writings on Race and Difference_, editors Paul Gilroy and Ruth Wilson Gilmore gather more than twenty essays by Stuart Hall that highlight his extensive and groundbreaking engagement with race, representation, identity, difference, and diaspora. Spanning the whole of his career, this collection includes classic theoretical essays such as “The Whites of Their Eyes” (1981) and “Race, the Floating Signifier” (1997). It also features public lectures, political articles, and popular pieces that circulated in periodicals and newspapers, which (...) demonstrate the breadth and depth of Hall's contribution to public discourses of race. Foregrounding how and why the analysis of race and difference should be concrete and not merely descriptive, this collection gives organizers and students of social theory ways to approach the interconnections of race with culture and consciousness, state and society, policing and freedom. (shrink)

Method descriptive frameworks, and a practical program for philosophy of technology; The University of Delaware Conference, 1975; Review and bibliography; European contributions; Conference Papers, 1976-1977; Historico-philosophical studies.

Like the second part of Dostoevsky's Notes from Underground, this sequel to ?New Notes from Underground?, originally promised in Inquiry (Vol. 33, No. 1, March 1990), focuses on the underground man's state of mind and life circumstances. Dramatizing the existential situation of the ?as if or fictive personality of our time, this memoir elucidates the absurd pathos of social identity formation. Written in a postmodern ethos in which the ?as if personality type has become pervasive, the underground man demonstrates his (...) thesis by sketching the absurd development of his own philosophical persona. Reflections of the underground man and a shadow brother critically address Nietzschean questions regarding the value of truth and the role of myth in life ? these meditations occurring in a contemporary nihilistic culture in which classical distinctions between myth and history, fiction and truth have collapsed. (shrink)

We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: The degrees of such sets A are precisely the nonlow c.e. degrees. There is a c.e. set A of density 1 with no computable subset of nonzero density. There is a (...) c.e. set A of density 1 such that every subset of A of density 1 is of high degree. We also study the extent to which c.e. sets A can be approximated by their computable subsets B in the sense that A\B has small density. There is a very close connection between the computational complexity of a set and the arithmetical complexity of its density and we characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study the notion of "computable at density r" where r is a real in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity, hyperimmunity, and cohesiveness. (shrink)

Like a number of other authors, Miller uses the term “emergent” interchangeably with “unpredictable” and employs it as a property term, i.e., in contexts of the form “Event E is emergent.” As we showed in our article, however, predictability and unpredictability as well as emergence are relations; they can be predicated of an event only relatively to some body of information. Thus, a lunar eclipse is predictable by means of information including data on the locations and speeds, at some particular (...) time, of the celestial bodies involved, and the laws of celestial mechanics plus certain principles of optics; it is unpredictable on the basis of, say, alone. Consequently, the phrase “Event E is unpredictable” is incomplete, and hence meaningless, in much the same sense as the expression “Straight line l is parallel.” Similar observations apply to the term “emergent,” which is frequently used to characterize events which, in a sense examined in detail in our article, are not explainable by a micro-structure theory. (shrink)

We classify the asymptotic densities of the sets according to their level in the Ershov hierarchy. In particular, it is shown that for, a real is the density of an n‐c.e. set if and only if it is a difference of left‐ reals. Further, we show that the densities of the ω‐c.e. sets coincide with the densities of the sets, and there are ω‐c.e. sets whose density is not the density of an n‐c.e. set for any.

For [Formula: see text], the coarse similarity class of A, denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of A and B has asymptotic density 0. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of A and B. We study the metric space of coarse similarity classes (...) under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly 0, [Formula: see text], and 1, and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree a to be attractive if the class of all degrees at distance [Formula: see text] from a has measure 1, and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually 1-random, as well as a perfect set whose elements are mutually 1-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)